[next] [prev] [prev-tail] [tail] [up]

2.2.29 Integrals 2801 to 2900

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 2801

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 127 135 0 88 0 0 0

N.S.

1 1.08 0.98 1.05 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.215 6.670 1.334 0.000 0.073 0.000 0.000 0.000

Problem 2802

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 96 219 0 108 0 0 0

N.S.

1 1.09 0.60 1.37 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.240 7.752 1.349 0.000 0.071 0.000 0.000 0.000

Problem 2803

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 207 99 271 0 128 0 0 0

N.S.

1 1.08 0.52 1.42 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.272 8.482 1.334 0.000 0.069 0.000 0.000 0.000

Problem 2804

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 104 295 0 148 0 0 0

N.S.

1 1.11 0.47 1.33 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.292 8.611 1.336 0.000 0.073 0.000 0.000 0.000

Problem 2805

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 283 109 319 0 168 0 0 0

N.S.

1 1.12 0.43 1.26 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.317 8.835 4.865 0.000 0.070 0.000 0.000 0.000

Problem 2806

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

253 283 113 239 0 108 0 0 0

N.S.

1 1.12 0.45 0.94 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.321 8.770 1.540 0.000 0.078 0.000 0.000 0.000

Problem 2807

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 108 234 0 103 0 0 0

N.S.

1 1.11 0.49 1.05 0.00 0.46 0.00 0.00 0.00

time (sec)

N/A 0.290 8.605 1.332 0.000 0.069 0.000 0.000 0.000

Problem 2808

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 209 103 229 0 98 0 0 0

N.S.

1 1.11 0.54 1.21 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.273 7.530 1.330 0.000 0.070 0.000 0.000 0.000

Problem 2809

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 98 224 0 93 0 0 0

N.S.

1 1.09 0.61 1.40 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.248 7.358 1.325 0.000 0.073 0.000 0.000 0.000

Problem 2810

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 93 219 0 88 0 0 0

N.S.

1 1.08 0.73 1.72 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.217 7.538 1.372 0.000 0.074 0.000 0.000 0.000

Problem 2811

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 171 94 219 0 108 0 0 0

N.S.

1 1.08 0.59 1.39 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.246 7.371 1.302 0.000 0.072 0.000 0.000 0.000

Problem 2812

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 204 99 228 0 128 0 0 0

N.S.

1 1.07 0.52 1.19 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.271 8.043 1.322 0.000 0.075 0.000 0.000 0.000

Problem 2813

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 236 103 295 0 148 0 0 0

N.S.

1 1.06 0.46 1.33 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.289 8.412 1.328 0.000 0.071 0.000 0.000 0.000

Problem 2814

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

251 275 108 319 0 168 0 0 0

N.S.

1 1.10 0.43 1.27 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.324 8.650 4.447 0.000 0.074 0.000 0.000 0.000

Problem 2815

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 101 150 0 59 0 0 0

N.S.

1 1.09 0.64 0.95 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.248 3.337 1.356 0.000 0.071 0.000 0.000 0.000

Problem 2816

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 93 145 0 54 0 0 0

N.S.

1 1.08 0.73 1.14 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.215 2.651 1.345 0.000 0.067 0.000 0.000 0.000

Problem 2817

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 88 140 0 49 0 0 0

N.S.

1 1.05 0.90 1.43 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.192 1.014 1.344 0.000 0.067 0.000 0.000 0.000

Problem 2818

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 50 54 0 26 0 0 0

N.S.

1 1.00 1.61 1.74 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.143 1.107 1.302 0.000 0.072 0.000 0.000 0.000

Problem 2819

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 70 92 0 68 0 0 0

N.S.

1 1.00 0.86 1.14 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.180 2.685 1.311 0.000 0.068 0.000 0.000 0.000

Problem 2820

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 93 219 0 88 0 0 0

N.S.

1 1.08 0.72 1.70 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.225 2.790 1.323 0.000 0.070 0.000 0.000 0.000

Problem 2821

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 96 243 0 108 0 0 0

N.S.

1 1.09 0.61 1.54 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.249 3.325 1.383 0.000 0.075 0.000 0.000 0.000

Problem 2822

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 106 155 0 64 0 0 0

N.S.

1 1.10 0.55 0.81 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.265 6.782 1.363 0.000 0.069 0.000 0.000 0.000

Problem 2823

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 101 150 0 59 0 0 0

N.S.

1 1.09 0.63 0.94 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.237 6.161 1.349 0.000 0.068 0.000 0.000 0.000

Problem 2824

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 96 145 0 54 0 0 0

N.S.

1 1.08 0.74 1.12 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.217 2.915 1.334 0.000 0.067 0.000 0.000 0.000

Problem 2825

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 99 88 140 0 49 0 0 0

N.S.

1 1.01 0.90 1.43 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.183 2.783 1.328 0.000 0.069 0.000 0.000 0.000

Problem 2826

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 88 135 0 68 0 0 0

N.S.

1 1.05 0.90 1.38 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.185 5.709 1.319 0.000 0.068 0.000 0.000 0.000

Problem 2827

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 93 219 0 88 0 0 0

N.S.

1 1.08 0.72 1.70 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.219 6.228 1.324 0.000 0.072 0.000 0.000 0.000

Problem 2828

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 94 243 0 108 0 0 0

N.S.

1 1.09 0.59 1.52 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.237 6.597 1.358 0.000 0.074 0.000 0.000 0.000

Problem 2829

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 101 267 0 128 0 0 0

N.S.

1 1.10 0.53 1.40 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.256 6.909 1.319 0.000 0.071 0.000 0.000 0.000

Problem 2830

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 113 165 0 74 0 0 0

N.S.

1 1.14 0.45 0.66 0.00 0.30 0.00 0.00 0.00

time (sec)

N/A 0.310 8.399 1.357 0.000 0.068 0.000 0.000 0.000

Problem 2831

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 111 160 0 69 0 0 0

N.S.

1 1.13 0.51 0.73 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.293 7.939 1.341 0.000 0.069 0.000 0.000 0.000

Problem 2832

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 103 155 0 64 0 0 0

N.S.

1 1.10 0.54 0.81 0.00 0.34 0.00 0.00 0.00

time (sec)

N/A 0.254 6.560 1.352 0.000 0.067 0.000 0.000 0.000

Problem 2833

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 171 98 150 0 59 0 0 0

N.S.

1 1.07 0.61 0.94 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.239 3.071 1.354 0.000 0.068 0.000 0.000 0.000

Problem 2834

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 96 145 0 54 0 0 0

N.S.

1 1.08 0.74 1.12 0.00 0.42 0.00 0.00 0.00

time (sec)

N/A 0.225 3.294 1.353 0.000 0.068 0.000 0.000 0.000

Problem 2835

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 93 140 0 73 0 0 0

N.S.

1 1.08 0.72 1.09 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.212 5.479 1.319 0.000 0.073 0.000 0.000 0.000

Problem 2836

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 93 219 0 88 0 0 0

N.S.

1 1.08 0.72 1.70 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.214 7.299 1.330 0.000 0.073 0.000 0.000 0.000

Problem 2837

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 175 94 243 0 108 0 0 0

N.S.

1 1.09 0.59 1.52 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.237 7.661 1.393 0.000 0.071 0.000 0.000 0.000

Problem 2838

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 211 99 267 0 128 0 0 0

N.S.

1 1.10 0.52 1.40 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.263 7.861 1.333 0.000 0.072 0.000 0.000 0.000

Problem 2839

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 247 106 291 0 148 0 0 0

N.S.

1 1.11 0.48 1.31 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.290 7.973 1.317 0.000 0.069 0.000 0.000 0.000

Problem 2840

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

249 283 111 315 0 168 0 0 0

N.S.

1 1.14 0.45 1.27 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.317 8.729 1.381 0.000 0.077 0.000 0.000 0.000

Problem 2841

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 55 50 0 8 65 0 0

N.S.

1 1.00 4.58 4.17 0.00 0.67 5.42 0.00 0.00

time (sec)

N/A 0.135 2.630 1.302 0.000 0.061 11.640 0.000 0.000

Problem 2842

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 74 29 0 6 0 0 0

N.S.

1 1.00 4.62 1.81 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.140 3.052 1.308 0.000 0.069 0.000 0.000 0.000

Problem 2843

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 67 33 0 8 0 0 0

N.S.

1 1.00 2.79 1.38 0.00 0.33 0.00 0.00 0.00

time (sec)

N/A 0.142 31.088 1.333 0.000 0.066 0.000 0.000 0.000

Problem 2844

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 65 19 0 8 0 0 0

N.S.

1 1.00 3.61 1.06 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.142 2.983 1.342 0.000 0.063 0.000 0.000 0.000

Problem 2845

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 78 21 0 8 0 0 0

N.S.

1 1.00 4.33 1.17 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.139 2.719 1.339 0.000 0.066 0.000 0.000 0.000

Problem 2846

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 68 21 0 8 0 0 0

N.S.

1 1.00 2.72 0.84 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.140 31.101 1.337 0.000 0.062 0.000 0.000 0.000

Problem 2847

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

23 23 65 16 0 6 0 0 0

N.S.

1 1.00 2.83 0.70 0.00 0.26 0.00 0.00 0.00

time (sec)

N/A 0.136 3.503 1.340 0.000 0.064 0.000 0.000 0.000

Problem 2848

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 67 55 0 8 66 0 0

N.S.

1 1.00 4.79 3.93 0.00 0.57 4.71 0.00 0.00

time (sec)

N/A 0.135 1.191 1.347 0.000 0.069 11.815 0.000 0.000

Problem 2849

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 59 44 0 8 65 0 0

N.S.

1 1.00 4.92 3.67 0.00 0.67 5.42 0.00 0.00

time (sec)

N/A 0.132 0.651 4.511 0.000 0.063 11.773 0.000 0.000

Problem 2850

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 32 63 65 0 6 0 0 0

N.S.

1 0.56 1.11 1.14 0.00 0.11 0.00 0.00 0.00

time (sec)

N/A 0.153 2.034 1.367 0.000 0.068 0.000 0.000 0.000

Problem 2851

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 72 72 0 8 0 0 0

N.S.

1 1.00 1.76 1.76 0.00 0.20 0.00 0.00 0.00

time (sec)

N/A 0.159 2.300 4.507 0.000 0.067 0.000 0.000 0.000

Problem 2852

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 44 75 45 0 8 0 0 0

N.S.

1 0.48 0.82 0.49 0.00 0.09 0.00 0.00 0.00

time (sec)

N/A 0.172 2.779 1.323 0.000 0.064 0.000 0.000 0.000

Problem 2853

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 72 68 0 8 0 0 0

N.S.

1 1.00 1.76 1.66 0.00 0.20 0.00 0.00 0.00

time (sec)

N/A 0.157 0.719 1.340 0.000 0.070 0.000 0.000 0.000

Problem 2854

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 75 53 0 8 0 0 0

N.S.

1 1.00 1.32 0.93 0.00 0.14 0.00 0.00 0.00

time (sec)

N/A 0.182 1.469 4.429 0.000 0.066 0.000 0.000 0.000

Problem 2855

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 51 69 51 0 6 0 0 0

N.S.

1 0.89 1.21 0.89 0.00 0.11 0.00 0.00 0.00

time (sec)

N/A 0.169 1.490 4.486 0.000 0.062 0.000 0.000 0.000

Problem 2856

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 67 28 0 8 66 0 0

N.S.

1 1.00 4.79 2.00 0.00 0.57 4.71 0.00 0.00

time (sec)

N/A 0.139 0.574 4.491 0.000 0.070 11.924 0.000 0.000

Problem 2857

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 201 565 0 812 0 0 0

N.S.

1 1.00 0.99 2.77 0.00 3.98 0.00 0.00 0.00

time (sec)

N/A 0.310 15.723 4.550 0.000 0.092 0.000 0.000 0.000

Problem 2858

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

437 475 449 878 0 1403 0 0 0

N.S.

1 1.09 1.03 2.01 0.00 3.21 0.00 0.00 0.00

time (sec)

N/A 0.624 23.388 2.638 0.000 0.133 0.000 0.000 0.000

Problem 2859

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 98 150 0 59 0 0 0

N.S.

1 1.09 0.62 0.95 0.00 0.37 0.00 0.00 0.00

time (sec)

N/A 0.250 3.843 1.366 0.000 0.069 0.000 0.000 0.000

Problem 2860

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 93 145 0 54 0 0 0

N.S.

1 1.08 0.73 1.14 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.229 3.303 1.362 0.000 0.070 0.000 0.000 0.000

Problem 2861

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 101 88 140 0 49 0 0 0

N.S.

1 1.05 0.92 1.46 0.00 0.51 0.00 0.00 0.00

time (sec)

N/A 0.197 2.703 1.356 0.000 0.068 0.000 0.000 0.000

Problem 2862

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 129 52 0 26 0 0 0

N.S.

1 1.00 4.16 1.68 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.145 1.668 1.332 0.000 0.070 0.000 0.000 0.000

Problem 2863

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

29 29 74 36 0 11 0 0 0

N.S.

1 1.00 2.55 1.24 0.00 0.38 0.00 0.00 0.00

time (sec)

N/A 0.143 1.287 4.510 0.000 0.068 0.000 0.000 0.000

Problem 2864

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 62 134 0 68 0 0 0

N.S.

1 1.00 0.98 2.13 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.162 2.656 4.498 0.000 0.070 0.000 0.000 0.000

Problem 2865

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

127 137 93 219 0 88 0 0 0

N.S.

1 1.08 0.73 1.72 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.217 2.602 1.310 0.000 0.072 0.000 0.000 0.000

Problem 2866

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 96 243 0 108 0 0 0

N.S.

1 1.09 0.61 1.54 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.243 3.517 1.380 0.000 0.069 0.000 0.000 0.000

Problem 2867

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 173 98 145 0 78 0 0 0

N.S.

1 1.08 0.61 0.91 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.242 6.706 1.338 0.000 0.071 0.000 0.000 0.000

Problem 2868

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 137 93 140 0 73 0 0 0

N.S.

1 1.06 0.72 1.09 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.222 5.497 1.392 0.000 0.072 0.000 0.000 0.000

Problem 2869

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 88 135 0 68 0 0 0

N.S.

1 1.05 0.90 1.38 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.186 5.595 1.331 0.000 0.068 0.000 0.000 0.000

Problem 2870

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 81 61 92 0 68 0 0 0

N.S.

1 1.00 0.75 1.14 0.00 0.84 0.00 0.00 0.00

time (sec)

N/A 0.182 2.620 1.326 0.000 0.066 0.000 0.000 0.000

Problem 2871

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 63 102 135 0 68 0 0 0

N.S.

1 1.00 1.62 2.14 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 0.162 3.004 1.346 0.000 0.071 0.000 0.000 0.000

Problem 2872

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

129 139 126 135 0 88 0 0 0

N.S.

1 1.08 0.98 1.05 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.217 6.357 1.336 0.000 0.070 0.000 0.000 0.000

Problem 2873

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 173 94 219 0 108 0 0 0

N.S.

1 1.08 0.59 1.37 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.243 6.258 1.338 0.000 0.069 0.000 0.000 0.000

Problem 2874

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

191 209 99 271 0 128 0 0 0

N.S.

1 1.09 0.52 1.42 0.00 0.67 0.00 0.00 0.00

time (sec)

N/A 0.265 6.680 1.392 0.000 0.070 0.000 0.000 0.000

Problem 2875

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 103 229 0 98 0 0 0

N.S.

1 1.13 0.55 1.22 0.00 0.52 0.00 0.00 0.00

time (sec)

N/A 0.268 7.952 1.332 0.000 0.072 0.000 0.000 0.000

Problem 2876

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 98 224 0 93 0 0 0

N.S.

1 1.12 0.63 1.44 0.00 0.60 0.00 0.00 0.00

time (sec)

N/A 0.243 7.754 1.345 0.000 0.070 0.000 0.000 0.000

Problem 2877

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 93 219 0 88 0 0 0

N.S.

1 1.11 0.74 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.227 7.256 1.378 0.000 0.070 0.000 0.000 0.000

Problem 2878

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 93 219 0 88 0 0 0

N.S.

1 1.11 0.74 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.221 6.164 1.333 0.000 0.073 0.000 0.000 0.000

Problem 2879

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 93 219 0 88 0 0 0

N.S.

1 1.11 0.74 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.225 2.770 1.341 0.000 0.073 0.000 0.000 0.000

Problem 2880

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 93 219 0 88 0 0 0

N.S.

1 1.08 0.74 1.75 0.00 0.70 0.00 0.00 0.00

time (sec)

N/A 0.219 2.621 1.395 0.000 0.070 0.000 0.000 0.000

Problem 2881

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 175 93 219 0 108 0 0 0

N.S.

1 1.12 0.60 1.40 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.247 6.312 1.334 0.000 0.072 0.000 0.000 0.000

Problem 2882

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 211 98 228 0 128 0 0 0

N.S.

1 1.13 0.52 1.22 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.266 7.811 1.328 0.000 0.075 0.000 0.000 0.000

Problem 2883

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

218 247 103 295 0 148 0 0 0

N.S.

1 1.13 0.47 1.35 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.293 8.270 1.332 0.000 0.075 0.000 0.000 0.000

Problem 2884

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 120 157 0 141 0 0 0

N.S.

1 1.00 1.40 1.83 0.00 1.64 0.00 0.00 0.00

time (sec)

N/A 0.204 1.355 1.410 0.000 0.082 0.000 0.000 0.000

Problem 2885

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

18 18 28 16 0 8 66 0 0

N.S.

1 1.00 1.56 0.89 0.00 0.44 3.67 0.00 0.00

time (sec)

N/A 0.141 0.634 1.380 0.000 0.071 12.198 0.000 0.000

Problem 2886

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 28 39 0 8 0 0 0

N.S.

1 1.00 2.00 2.79 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.183 0.002 4.573 0.000 0.067 0.000 0.000 0.000

Problem 2887

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

14 14 28 41 0 8 0 0 0

N.S.

1 1.00 2.00 2.93 0.00 0.57 0.00 0.00 0.00

time (sec)

N/A 0.153 10.018 1.400 0.000 0.066 0.000 0.000 0.000

Problem 2888

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 74 29 0 8 0 0 0

N.S.

1 1.00 4.62 1.81 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.137 1.561 6.133 0.000 0.064 0.000 0.000 0.000

Problem 2889

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 74 38 0 8 0 0 0

N.S.

1 1.00 2.96 1.52 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.187 0.012 4.609 0.000 0.067 0.000 0.000 0.000

Problem 2890

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

25 25 68 50 0 8 0 0 0

N.S.

1 1.00 2.72 2.00 0.00 0.32 0.00 0.00 0.00

time (sec)

N/A 0.159 31.071 1.409 0.000 0.064 0.000 0.000 0.000

Problem 2891

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 206 111 150 0 83 0 0 0

N.S.

1 1.11 0.60 0.81 0.00 0.45 0.00 0.00 0.00

time (sec)

N/A 0.268 6.523 4.556 0.000 0.072 0.000 0.000 0.000

Problem 2892

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 170 106 145 0 78 0 0 0

N.S.

1 1.10 0.68 0.94 0.00 0.50 0.00 0.00 0.00

time (sec)

N/A 0.250 5.840 1.346 0.000 0.070 0.000 0.000 0.000

Problem 2893

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 127 99 140 0 71 0 0 0

N.S.

1 1.04 0.81 1.15 0.00 0.58 0.00 0.00 0.00

time (sec)

N/A 0.217 5.755 1.342 0.000 0.069 0.000 0.000 0.000

Problem 2894

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 92 83 135 0 68 0 0 0

N.S.

1 1.08 0.98 1.59 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.190 2.609 1.338 0.000 0.070 0.000 0.000 0.000

Problem 2895

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 62 63 134 0 68 0 0 0

N.S.

1 1.00 1.02 2.16 0.00 1.10 0.00 0.00 0.00

time (sec)

N/A 0.159 2.630 1.351 0.000 0.071 0.000 0.000 0.000

Problem 2896

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 135 118 134 0 82 0 0 0

N.S.

1 1.08 0.94 1.07 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.218 5.587 1.370 0.000 0.070 0.000 0.000 0.000

Problem 2897

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

158 173 94 219 0 108 0 0 0

N.S.

1 1.09 0.59 1.39 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.245 6.098 4.541 0.000 0.071 0.000 0.000 0.000

Problem 2898

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 209 99 271 0 128 0 0 0

N.S.

1 1.11 0.52 1.43 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.278 6.571 1.365 0.000 0.071 0.000 0.000 0.000

Problem 2899

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

219 244 116 155 0 88 0 0 0

N.S.

1 1.11 0.53 0.71 0.00 0.40 0.00 0.00 0.00

time (sec)

N/A 0.296 8.293 4.558 0.000 0.072 0.000 0.000 0.000

Problem 2900

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 208 111 150 0 83 0 0 0

N.S.

1 1.11 0.59 0.80 0.00 0.44 0.00 0.00 0.00

time (sec)

N/A 0.270 8.115 1.349 0.000 0.070 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]